Adjoint functors - PDFSEARCH.IO - Document Search Engine

Adjoint functors
Results: 460

#	Item
311	1 9. LOCALLY FREE MODULES Add to Reading List Source URL: www.math.hawaii.edu Language: English - Date: 2001-04-07 05:39:59 Module theory Adjoint functors Projective module Divisible group Morphism Monomorphism Torsion Duality Von Neumann algebra Abstract algebra Algebra Homological algebra
312	OBERWOLFACH MAY 2006 NOTES BY S. PAUL SMITH Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-05-16 11:36:59 Homological algebra Algebraic topology Connection Differential geometry Sheaf Moduli space Adjoint functors Grothendieck group Duality Abstract algebra Mathematical analysis Topology
313	The Adjunction Prohibition and Extraction from Non-Factive CPs Add to Reading List Source URL: www.lingref.com Language: English - Date: 2013-07-01 12:59:18 Adjunction Presupposition Predicate Semantics Linguistics Adjoint functors
314	Links Philip Wadler University of Edinburgh Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-03-04 12:47:43 Functional programming Adjoint functors Query languages Functional languages Monad XQuery Philip Wadler SQL JavaScript Computing Software engineering Computer programming
315	A Principled Approach to Operating System Construction in Haskell Thomas Hallgren Add to Reading List Source URL: ogi.altocumulus.org Language: English - Date: 2005-07-10 01:38:48 Functional programming Adjoint functors Data types Type theory Interrupts Monad L4 microkernel family Haskell Thread Computing Software Computer architecture
316	Computational Category Theory D.E. Rydeheard University of Manchester Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2003-05-20 11:35:35 Functors Limit Topos Equivalence of categories Category of topological spaces Categorical logic Cartesian closed category Initial and terminal objects Universal property Category theory Mathematics Adjoint functors
317	Big Toy Models: Representing Physical Systems As Chu Spaces Samson Abramsky Oxford University Computing Laboratory September 23, 2009 Add to Reading List Source URL: www.cs.ox.ac.uk Language: English - Date: 2013-06-06 21:34:53 Mathematical analysis Representation theory Dual space Quantum logic Adjoint functors Interpretation Self-adjoint operator Operator Linear temporal logic Physics Operator theory Mathematics
318	NOTIONS OF ANONYMOUS EXISTENCE ¨ TYPE THEORY IN MARTIN-LOF Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2014-03-31 11:37:40 Model theory Mathematical constructivism Function Lambda calculus Interpretation Type theory Universal quantification Adjoint functors Primitive recursive arithmetic Mathematics Mathematical logic Logic
319	Game semantics in string diagrams Paul-André Melliès Laboratoire Preuves, Programmes, Systèmes Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2012-09-28 07:43:12 Logic in computer science Monoidal categories Lambda calculus Non-classical logic Models of computation Cartesian closed category Adjoint functors Closed monoidal category Sheaf Mathematics Category theory Abstract algebra
320	NOTES ON FACTORIZABLE SHEAVES This is a preliminary version. Imprecisions are likely. Add to Reading List Source URL: www.math.harvard.edu Language: English - Date: 2012-01-30 16:01:34 Monoidal categories Algebras Algebraic topology Lie algebras Representation theory of Lie algebras Hopf algebra Associative algebra Sheaf Adjoint functors Abstract algebra Algebra Mathematics

UPDATE